Der Petrinetz-Würfel im Petrinetz-Kern

Eine Möglichkeit, ein theoretisches Konzept zu validieren, ist seine Implementierung in einem Werkzeug. In diesem Papier skizzieren wir die Implementierung des PetrinetzWürfels mit Hilfe des Petrinetz-Kerns. Mit dem Petrinetz-Würfel [KW98] und dem Petrinetz-Kern [HHK98, KW99] wurden zwei Konzepte entwickelt, die jeweils einen allgemeinen Petrinetz-theoretischen Ansatz verfolgen. Der Petrinetz-Kern dient als Infrastruktur zum Bau von Werkzeugen für Petrinetze beliebiger Typen. Und der Petrinetz-Würfel strukturiert und klassi ziert die Welt der klassischen Petrinetze. Beiden gemeinsam ist die Verallgemeinerung von Petrinetz-Typen. Unter einem Petrinetz-Typ verstehen wir die Festlegung der zulässigen Markierungen, der zulässigen Kanteninschriften sowie des Schaltverhaltens für Netze diesen Typs. Beide Verallgemeinerungen unterscheiden sich jedoch grundlegend voneinander. Das Ziel des Petrinetz-Würfels ist die Klassi zierung von Petrinetz-Typen derart, dass ihre Unterschiede und Gemeinsamkeiten hervortreten. Insbesondere die intuitive (klassische) Schaltregel kann mit diesem Konzept für alle klassischen Petrinetz-Typen gemeinsam de niert werden. Auÿerdem genügen 3 voneinander unabhängige Aspekte, um die klassischen Petrinetz-Typen zu beschreiben. Ein besonderer Nutzen des Petrinetz-Würfels besteht darin, dass Techniken zu Petrinetzen, die nur von ganz bestimmten Aspekten abhängen, leicht von einem Petrinetz-Typ auf einen anderen übertragen werden können, wenn sich beide in den bestimmten Aspekten nicht unterscheiden. Der Petrinetz-Kern hat zum Ziel, den Bau von Petrinetz-Werkzeugen zu erleichtern. Dazu stellt er Standardfunktionen wie das Einfügen von Elementen in ein Petrinetz oder bestimmte Anfragen an Netze zur Verfügung. Damit der Petrinetz-Kern den Bau von Werkzeugen für beliebige Petrinetz-Typen unterstützt, besitzt er eine Schnittstelle zur De nition eines Petrinetz-Typs. Mit ihr können alle Petrinetz-Typen beschrieben werden, die auf klassische Petrinetz-Typen aufbauen und Stellen, Transitionen sowie Kanten zwischen Stellen und Transitionen bzw. umgekehrt zulassen. Im Gegensatz zum Petri-